Realizability of Choreographies Using Process Algebra Encodings
نویسندگان
چکیده
منابع مشابه
On Realizability and Dynamic Reconfiguration of Choreographies
Choreography description languages aim at specifying from a global point of view interactions among a set of services involved in a new system. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: this problem is known as realizability. When peers corresponding ...
متن کاملAnalysis of Realizability Conditions for Web Service Choreographies
Web service choreography languages allow for the description of multipart collaborations from a global point of view, specifying the information exchanged by the participants in order to accomplish a common business goal. An important issue, emerging from the choreography modelling, is the protocol realizability, i.e., the possibility to extract the local specifications of the participants, so ...
متن کاملProcess Realizability
We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.
متن کاملA Local Logic for Realizability in Web Service Choreographies
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C ? Further, if C is realizable, is there an algorithm to construct implementations in I ? We propose a local temporal logic in which choreographies can be s...
متن کاملEvolution of Process Choreographies in DYCHOR
Process-aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of process choreographies, i.e., the change of interactions between partner processes in a cross-organizational setting. If respective modifications are applied in an uncontrolled manner, inconsistencies or errors might o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Services Computing
سال: 2012
ISSN: 1939-1374,2372-0204
DOI: 10.1109/tsc.2011.9